Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
📦WebAssembly
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·2d·
Discuss: Lobsters, r/programming
✅Formal Verification
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·7h·
Discuss: Hacker News
🧠Computer Architecture
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·18h·
Discuss: Hacker News
🔍eBPF
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
✅Formal Verification
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
📦WebAssembly
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
📦WebAssembly
If Odin Had Macros
gingerbill.org·15h·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·1d
🚢DevOps
The Schwartzian Transform (2016)
perl.com·8h·
Discuss: Hacker News
✅Formal Verification
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·4h·
Discuss: Hacker News
✅Formal Verification
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
📦WebAssembly
Mun Programming Language
mun-lang.org·10h·
Discuss: Hacker News
🔌Network Programming
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
📦WebAssembly
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·4d·
Discuss: Hacker News
🧠Computer Architecture
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
✅Formal Verification
Engineering With Java: Digest #58
javabulletin.substack.com·2h·
Discuss: r/programming
📦WebAssembly
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·20h·
Discuss: Hacker News
⚡Performance Engineering